Mapping Reduction Turing Machines